(info-real): Don't ignore errors from doc Makefiles.
authorGlenn Morris <rgm@gnu.org>
Sat, 29 Aug 2009 02:18:03 +0000 (02:18 +0000)
committerGlenn Morris <rgm@gnu.org>
Sat, 29 Aug 2009 02:18:03 +0000 (02:18 +0000)
commit757ac794a50a9c0b180d4fef34fd8bbdb0cab017
tree39f121abe32a1d20e886376195b8ff66afeadd6d
parent60b187113b3ca9c57341c880644f90504a0b3ba0
(info-real): Don't ignore errors from doc Makefiles.
(info): Don't give an error in the absence of makeinfo - let the doc
Makefiles do that, if the info files need rebuilding.  (Bug#3982)
ChangeLog
Makefile.in